P. D Magnus
Author
Series
Publisher
P.D. Magnus
Pub. Date
[2005]-
Language
English
Formats
Description
"Forall x is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading. This books treats symbolization, formal semantics, and proof theory for each language. The discussion of formal...
Author
Series
Publisher
Dave Witte Morris and Joy Morris
Pub. Date
2016-
Language
English
Formats
Description
"This free undergraduate textbook provides an introduction to proofs, logic, sets, functions, and other fundamental topics of abstract mathematics. It is designed to be the textbook for a bridge course that introduces undergraduates to abstract mathematics, but it is also suitable for independent study by undergraduates (or mathematically mature high-school students), or for use as a very inexpensive supplement to undergraduate courses in any field...